منابع مشابه
Preserving Real Concurrency
We are concerned with reasoning about the behavior of assemblies of components from models of components and their patterns of interaction. Behavioral models of assemblies are “composed” from behavioral models of components; the (composed) assembly model is then mapped to one or more reasoning frameworks, each suitable for a particular kind of analysis. Information relevant to each reasoning fr...
متن کاملSmog, Cognition and Real-World Decision-Making
Cognitive functioning is critical as in our daily life a host of real-world complex decisions in high-stakes markets have to be made. The decision-making process can be vulnerable to environmental stressors. Summarizing the growing economic and epidemiologic evidence linking air pollution, cognition performance and real-world decision-making, we first illustrate key physiological and psychologi...
متن کاملRobust Real - Timeindex Concurrency Controls
Real-time database systems are expected to rely heavily on indexes to speed up data access and thereby help more transactions meet their deadlines. Accordingly, high-performance index concurrency control (ICC) protocols are required to prevent contention for the index from becoming a bottleneck. We took a rst step towards achieving this objective in a recent simulation-based study that evaluate...
متن کاملConcurrency and Composition in a Stochastic World
We discuss conceptional and foundational aspects of Markov automata [22]. We place this model in the context of continuousand discrete-time Markov chains, probabilistic automata and interactive Markov chains, and provide insight into the parallel execution of such models. We further give a detailled account of the concept of relations on distributions, and discuss how this can generalise known ...
متن کاملIntroducing Concurrency to Workflows: Theory and A Real-World Case Study
Making use of the concepts of the activity diagrams of the Unified Modeling Language, this paper defines an important class of workflows, called flow independent workflows, which are deterministic in the sense that if a flow independent workflow is given the same multi-set of resources as input over and over again, it will produce the same output every time. After which, this paper provides a m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2008
ISSN: 0001-0782,1557-7317
DOI: 10.1145/1400214.1400227